a clause is formalized as a relational algebra expression and evaluated by employment of relational algebra operations . 3 . the proof theory based on xml is presented 提出了利用關(guān)系代數(shù)運(yùn)算實(shí)現(xiàn)xml查詢子句求值的方法,并證明了該方法的正確性。
an approach to formalize and evaluate relational algebra operations by means of xdd is presented . a query is formalized as one or more xml clauses and evaluated by employment of equivalent transformation of xdd 提出了根據(jù)關(guān)系代數(shù)表達(dá)式構(gòu)造查詢子句的方法,關(guān)系代數(shù)表達(dá)式可以用若干個(gè)xml子句描述,并通過等價(jià)變換得到查詢結(jié)果,證明了該方法的正確性。